very minor fix [fixes #215]