Tiny bugfix to the last commit