Fixed minor issue with the display of options