FIX: minor html tweak