Right! I didn't look through the full file source before commenting, as I'd suspected I should have :)