Fixed a bracket issue; format constants in patterns