Fix fat arrow

fixes #5