tiny tweak necessary to make PPRevealSideviewController work correctly in full screen mode