fix bug in HTML generation
Delete manual_spec, it wasn't doing anything anyway. Will add testing for the manual generation code as I refactor.