workaround of a nasty compiler bug :(