A bug fixed in prove