Various documentation fixes.

diff --git a/windows/timer.c b/windows/timer.c
index e9f2b79..778485e 100644
--- a/windows/timer.c
+++ b/windows/timer.c
@@ -291,7 +291,7 @@
 
 
 /***********************************************************************
- *           SetTimer16   (USER.10)
+ *		SetTimer (USER.10)
  */
 UINT16 WINAPI SetTimer16( HWND16 hwnd, UINT16 id, UINT16 timeout,
                           TIMERPROC16 proc )
@@ -304,7 +304,7 @@
 
 
 /***********************************************************************
- *           SetTimer   (USER32.511)
+ *		SetTimer (USER32.@)
  */
 UINT WINAPI SetTimer( HWND hwnd, UINT id, UINT timeout,
                           TIMERPROC proc )
@@ -341,7 +341,7 @@
 
 
 /***********************************************************************
- *           SetSystemTimer16   (USER.11)
+ *		SetSystemTimer (USER.11)
  */
 UINT16 WINAPI SetSystemTimer16( HWND16 hwnd, UINT16 id, UINT16 timeout,
                                 TIMERPROC16 proc )
@@ -354,7 +354,7 @@
 
 
 /***********************************************************************
- *           SetSystemTimer   (USER32.509)
+ *		SetSystemTimer (USER32.@)
  */
 UINT WINAPI SetSystemTimer( HWND hwnd, UINT id, UINT timeout,
                                 TIMERPROC proc )
@@ -367,7 +367,7 @@
 
 
 /***********************************************************************
- *           KillTimer16   (USER.12)
+ *		KillTimer (USER.12)
  */
 BOOL16 WINAPI KillTimer16( HWND16 hwnd, UINT16 id )
 {
@@ -377,7 +377,7 @@
 
 
 /***********************************************************************
- *           KillTimer   (USER32.354)
+ *		KillTimer (USER32.@)
  */
 BOOL WINAPI KillTimer( HWND hwnd, UINT id )
 {
@@ -387,7 +387,7 @@
 
 
 /***********************************************************************
- *           KillSystemTimer16   (USER.182)
+ *		KillSystemTimer (USER.182)
  */
 BOOL16 WINAPI KillSystemTimer16( HWND16 hwnd, UINT16 id )
 {
@@ -397,7 +397,7 @@
 
 
 /***********************************************************************
- *           KillSystemTimer   (USER32.353)
+ *		KillSystemTimer (USER32.@)
  */
 BOOL WINAPI KillSystemTimer( HWND hwnd, UINT id )
 {