Bug fix for the previous "trivial" commit :D