small fixes according to W3C validator