Bug fix

Fixes bug #269