See first bullet in todo for error description