Fixes error introduced in commit 700b3ed0