A bit more precise JavaDoc