Fix precondions checks messages