Fix for option bug in standard.lib