less overflow in colon(). closes #5065