fixed a bug introduced in commit 0700018