Fixes #57

This is probably unnecessary but no biggie