Added Denis to the man page