fixes bug introduced in commit 2334599f3d460c4371597dc336749bebded459de