Small thing, now it passes the w3c validator

This is, of course, not a priority. But is always a nice way to keep using
valid html.