fixed issue #37: minor visual glitch