redundant colons