Added a break, as suggested by @rarila. Fixes #757.