fixing minor bug in user context constant