Fixed minor bugs in Ada backend