apply @takluyver's suggestion