the previous commit would not compile, forgotten to commit a patch, oops