Fixed some Code Contracts return types.