fixes #381.
Additional commit to indicate a corrected build fixing this issue