Simple modifications to documentation file