Why is there a colon after 'then'?