Why are there 2 colons here?