Fix some options formatting