Still one minor change to get rid of code style warnings