hah - just an oversight: file seems to have been originally created with four-space indents and my editor defaulted it to that. Will certainly fix.