fix formatting of reserved names