fix typo introduced in e41f26e