Bug #416: Workaround for page flipping problem