fix forgotten case in last commit

fixes #6