Fixes html breaking 6277 instruction