Fixed error introduced in 9b9dcdd6d5916ff050571b23ef8f9245b9651949.