Fixed bug introduced in commit bb18c9386d41c365cedbb6784f854c53638541c0.