bugfix for pre tags