btw, this is covered by the testsuite already