Fix #262

Not sure about this