Inconsistency between HTML templates

Fixes #3185