tweaks to user spec