Support STOP comments. Fixes #8.