minor bugfix, might need to do some cleanup in the html output