Closes #87 (closed)
Fixes the problem seen only by me. Not understood. Maybe @cburr knows what that is.