Automark: wrong return value