fix: Stupid formatter had messed up the javadoc.