Small bug fix

and also to test how github works and stuff.