quick bugfix to previous commit