minor fix as per michiels suggestions in issue #14