minor fix - see #119