Fixed bug introduced in fe863554915a3f8c9dcb4395923d0fa3173a8f14