Remove duplicate @post assignment