Added the buggy version for the user study.