ref #8096: remove doubled colon