Why two `:`?