fix minor bug introduced by commit 96a3b261