this change is not really important -- I just want to highlight where a bug came from for future reference