Small fix to getfenv