New option: space-after-colon