small cosmetics

there was an error in the devguide