fixed stuff-up in last commit