other semi-colons, and below too