fixing a bug noticed by @mailman1175