added fix for the standard library menu fetching