Erm... closing PHP tag.

Better late than never, eh?