Fixed a bug introduced in commit #2af25e1