Fixed minor bug introducted by commit 10f59ac0f4d8362031bce98cd30b399ad2e097b9