minor fix on top.html include