bugfix for bug that sneaked into the last commit