Small bugfix for the previous commit -- an other one-liner commit!