Issue #151: missed one file in previous commit