Trivial change of coding format