Small simplification in castling rights