Fixed a bug in explicit @prose matching.