Fixed a mess-up introduced in the previous commit..