small fix from mancha1. currently unused file, but no harm fixing it.