#136: fix typo and minor detail