Fixing #252; thanks @lapoigne !