Space around `:`, here and below