the bugfix missing from the previous commit