Fix for #106: End of embedded documentation page isn't visible