Two notes on Ackermann's set theory