Fixed a badly defined pattern match