I think it's fine to hard code it with a comment. This is really a strange one-off case that won't be encountered much.