Small fix

See #260