Some minor syntax changes [skip-ci]