remove a warning

Authored by alcinos on Mar 17 2019, 11:45 PM.