Fix bug in user stub