Fix some weird warnings about properties