Little bug-fix