Minor bugfix

Don't tell anyone about it.