fixed bug related to the (rarely used) ":" operator