It's still needed for implementing alt-page up