Minor bux fix. Fixes #100