[#197] Fix an annoying bug

This is an additional comment