bugfix for a stupid bug