micro fix asked by a maintainer