Heh the @github notification email couldn't cope with the outdated diff there, oh well, I've changed this in my most recent push anyhow.