html extension is not needed.