Dummy code to silence warning from 4189266