OK never mind my comment then. This can be cleaned up for the whole file some other time.