that is not a fat arrow

fixes #5