options bug is fixed in 0.7.2