Some more documentation hacks