Issue 23: minor fix