Fix syntax format in pull request #83, so it follows original code style