PageTable annotations fixed