Fixed #56, minor doc bug