fix mistype as in #1455 by @MIbragimov