Clarify a bit the code wrt. -Xlint