Fix specifying std option