Fixed missing @post in def new