Make @mickhansen happy