Tiny, tiny HTML change