Very minor bug fix

fixes #5