Remove extra /// from comments used with Fantomas.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>