Commit 283ec1da previously pushed had some coding style bugs, which unfortunately couldn't be fixed before pushing because the platform doesn't allow it and the original contributor is not available lately. Let's fix these.