Fixes #73

Why deindent this?