Another small fix for 4078

Return correct value for options