minor addition to Devguide