html: undo a code change used for testing