slight improvement of the type modifiers
Authored by: ingo <> 2020-03-28
Parent: [8e3d7b]
Child: [f15b2a]