Fix bug introduced in commit #ced6bfa

(Thanks to ehamberg)