Issue KT-5550. Added some comments about when return types must be made explicit.
Formatting + minor wording