Fixes #2783 -- leftover comments