HOWTO: use proper (or drop wrong usage of) option type =bool