Closes #384: superfluous whitespace in pdf documentation