Not sure if this is a problem but I think we should at least add a comment in the code that this case has been considered.