minor fix (#3)