[PATCH] Fix error introduced in a15f05f1b43d8e85d9a3f72a0a