#13: minor fix